propositional calculus

Translations
пропозициональное исчисление
He is studying propositional calculus in his philosophy class.
Он изучает пропозициональное исчисление на уроке философии.
Words
propositional

adjective
пропозициональный
calculus

noun
исчисление